Browsing by Author "Li, L."

Now showing items 1-10 of 10

    • Article  

      Designs of bisimilar Petri net controllers with fault tolerance capabilities 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2008)
      This paper proposes an approach for providing tolerance against faults that may compromise the functionality of a given controller modeled by a Petri net. The method is based on embedding the given Petri net controller ...
    • Conference Object  

      Fault detection and identification in Petri net controllers 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2004)
      This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
    • Article  

      Least-cost planning sequence estimation in labelled Petri nets 

      Li, L.; Hadjicostis, Christoforos N. (2011)
      This paper develops a recursive algorithm for estimating the least-cost planning sequence in a manufacturing system that is modelled by a labelled Petri net. We consider a setting where we are given a sequence of labels ...
    • Article  

      Least-cost transition firing sequence estimation in labeled Petri nets with unobservable transitions 

      Li, L.; Hadjicostis, Christoforos N. (2011)
      This paper proposes an approach for estimating the least-cost transition firing sequence(s) that matches (match) the observation of a sequence of labels produced by transition activity in a given labeled Petri net. Each ...
    • Article  

      Maximum likelihood failure diagnosis in finite state machines under unreliable observations 

      Athanasopoulou, E.; Li, L.; Hadjicostis, Christoforos N. (2010)
      In this paper, we develop a probabilistic methodology for failure diagnosis in finite state machines based on a sequence of unreliable observations. Given prior knowledge of the input probability distribution but without ...
    • Conference Object  

      Minimum initial marking estimation in labeled petri nets 

      Li, L.; Hadjicostis, Christoforos N. (2009)
      This paper develops an algorithm for estimating the minimum initial marking based on the observation of a sequence of labels that is produced by underlying transition activity in a given labeled Petri net. We assume that ...
    • Article  

      Minimum initial marking estimation in labeled petri nets 

      Li, L.; Hadjicostis, Christoforos N. (2013)
      This technical note develops algorithms for estimating the minimum initial marking(s) following the observation of a sequence of labels produced by underlying transition activity in a known labeled Petri net (PN). Since ...
    • Article  

      Mutant polycystin-2 induces proliferation in primary rat tubular epithelial cells in a STAT-1/p21-independent fashion accompanied instead by alterations in expression of p57KIP2 and Cdk2 

      Felekkis, Kyriacos N.; Koupepidou, P.; Kastanos, E.; Witzgall, R.; Bai, C. -X; Li, L.; Tsiokas, L.; Gretz, N.; Constantinou-Deltas, Constantinos D. (2008)
      Background. Autosomal Dominant Polycystic Kidney Disease (ADPKD) is characterized by the formation of multiple fluid-filled cysts that destroy the kidney architecture resulting in end-stage renal failure. Mutations in genes ...
    • Conference Object  

      A realistic evaluation and comparison of indoor location technologies: Experiences and lessons learned 

      Lymberopoulos, D.; Liu, J.; Yang, X.; Choudhury, R. R.; Handziski, V.; Sen, S.; Lemic, F.; Busch, J.; Jiang, Z.; Zou, H.; Jiang, H.; Ashok, A.; Xu, C.; Ghose, A.; Ahmed, N.; Zhang, C.; Xiao, Z.; Wen, H.; Schmid, T.; Lee, D.; Klepal, M.; Beder, C.; Nikodem, M.; Szymczak, S.; Hoffmann, P.; Selavo, L.; Giustiniano, D.; Lenders, V.; Rea, M.; Marcaletti, A.; Laoudias, Christos; Zeinalipour-Yazdi, Constantinos D.; Tsai, Y. -K; Abrudan, T. E.; Markham, A.; Bestmann, A.; Reimann, R.; Li, L.; Zhao, C.; Adler, S.; Schmitt, S.; Lazik, P.; Rajagopal, N.; Rowe, A.; Dentamaro, V.; Colucci, D.; Ambrosini, P.; Ferraz, A. S.; Martins, L. Q. L.; Bello, P.; Alvino, A.; Sark, V.; Pirkl, G.; Hevesi, P. (Association for Computing Machinery, Inc, 2015)
      We present the results, experiences and lessons learned from comparing a diverse set of technical approaches to indoor localization during the 2014 Microsoft Indoor Localization Competition. 22 different solutions to indoor ...
    • Conference Object  

      Reconstruction of transition firing sequences based on asynchronous observations of place token changes 

      Hadjicostis, Christoforos N.; Li, L. (2007)
      This paper proposes a methodology for reconstructing the possible transition firing sequences in a given Petri net based on asynchronous observations of token changes at different places of the Petri net. The observed ...